Foundations of mathematics - PDFSEARCH.IO - Document Search Engine

Foundations of mathematics
Results: 359

#	Item
261	Preface The term evolutionary computing refers to the study of the foundations and applications of certain heuristic techniques based on the principles of natural evolution; thus the aim of designing evolutionary algori Add to Reading List Source URL: www2.hannan-u.ac.jp Language: English - Date: 2003-01-31 10:00:00 Artificial intelligence Science Mathematical optimization Genetic algorithms Operations research Evolutionary computation Genetic programming Interactive evolutionary computation Ant colony optimization algorithms Evolutionary algorithms Applied mathematics Cybernetics
262	A Tutorial on Proof Theoretic Foundations of Logic Programming Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:38:39 Proof theory Propositional calculus Non-classical logic Deduction Automated theorem proving Sequent calculus Natural deduction Admissible rule Intuitionistic logic Logic Mathematical logic Mathematics
263	2011 International Conference on Advances in Social Networks Analysis and Mining Foundations of Multidimensional Network Analysis Michele Berlingerio 1 Michele Coscia 2 Add to Reading List Source URL: www.michelecoscia.com Language: English - Date: 2012-08-08 14:26:35 Networks Centrality Network science Degree distribution Connectivity Flow network Community structure Complex network Topology Graph theory Network theory Mathematics
264	2013 IEEE 54th Annual Symposium on Foundations of Computer Science A forward-backward single-source shortest paths algorithm Uri Zwick Tel Aviv University [removed] Add to Reading List Source URL: dbwilson.com Language: English - Date: 2013-12-01 03:48:54 Routing algorithms Combinatorial optimization Network flow Network theory Shortest path problem Distance Graph Matching Floyd–Warshall algorithm Mathematics Graph theory Theoretical computer science
265	Jin-Yi Cai Curriculum Vitae Computer Sciences Department University of Wisconsin at Madison 1210 West Dayton Street Madison, WI 53706 Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2014-01-20 22:47:52 ACM SIGACT International Colloquium on Automata Languages and Programming Symposium on Foundations of Computer Science Symposium on Theory of Computing Symposium on Theoretical Aspects of Computer Science Applied mathematics Computer science Theoretical computer science
266	Do the Integers Exist? The Unknowability of Arithmetic Consistency JACK T. SCHWARTZ Courant Institute It is an article of faith for most mathematicians that Peano’s axioms for arithmetic are consistent, perhaps becaus Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2005-12-01 07:11:01 Axiom Mathematical proof Foundations of mathematics Peano axioms Kurt Gödel Contradiction Zermelo–Fraenkel set theory Theorem Gottlob Frege Logic Mathematics Mathematical logic
267	Institute for Pure and Applied Mathematics, UCLA presents Securing Cyberspace: Application and Foundations of Cryptography and Computer Security Workshop I: Number Theory and Add to Reading List Source URL: www.ipam.ucla.edu Language: English - Date: 2006-10-05 20:10:14 Kristin Lauter Post-quantum cryptography Neal Koblitz Institute for Pure and Applied Mathematics Gerhard Frey Peter Montgomery Elliptic curve cryptography Lattice-based cryptography Cryptography Number theorists Mathematics
268	The importance of the Empty Set and Noncommutative Geometry in Underpinning the Foundations of Quantum Physics Add to Reading List Source URL: www.msel-naschie.com Language: English - Date: 2011-05-09 06:11:42 Fractals Quantum spacetime Fractal Hausdorff dimension Noncommutative geometry Infinity Chaos theory Anti de Sitter space Quantum gravity Physics Mathematics Dimension
269	Kai-Min Chung Cornell University, Computer Science Dept. Upson Hall 4108, Ithaca, NY[removed]-1856 Add to Reading List Source URL: www.iis.sinica.edu.tw Language: English - Date: 2013-10-09 05:56:21 Theoretical computer science Symposium on Foundations of Computer Science Asiacrypt Symposium on Theoretical Aspects of Computer Science International Colloquium on Automata Languages and Programming Ran Raz Symposium on Theory of Computing Theory of Cryptography Conference Salil Vadhan Applied mathematics Computer science Year of birth missing
270	Domain Theory for Concurrency —New Categorical Foundations EPSRC Research Grant Application Case for support Glynn Winskel Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2004-03-03 06:09:38 Logic Denotational semantics Semantics of programming languages Power domains Operational semantics Sheaf Π-calculus Concurrency Semantics Theoretical computer science Logic in computer science Mathematics

UPDATE